create_ripes_lib(syscall LINK_TO_RIPES_LIB)
